xxbasic, basic
\\[0ex]trans($T$;$E$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Trans($T$;$x$,$y$.$E$($x$,$y$))